LOSet{i}  Type{i'} 

latex

Up	sets 1
Definitions of Statement	DSet, QOSet, POSet{i}, LOSet
Definitions	x,y. t(x;y), LOSet, t  T, DSet, QOSet, x(s1,s2), , x:A. B(x), POSet{i}
Lemmas	set leq wf, set car wf, connex wf, poset wf